predicate calculus - Spanisch Englisch Wörterbuch